Page numbers are for draft copy at present; they will be replaced with correct numbers when final book is formatted. Chapter numbers are correct and will not change now.
A reasoning system is an algorithm, method or tool for reasoning.
Used on Chap. 2: page 18
